21. First-order dynamic logic
پدیدآورنده: Harel, David
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming,، Logic, Symbolic and mathematical,، Recursion theory
رده :
QA
76
.
6
.
H34
1979
22. First-order dynamic logic
پدیدآورنده: Harel, David
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Electronic digital computers - Programming,، Logic, Symbolic and mathematical,، Recursion theory
رده :
QA
76
.
L4
v
.
68
23. First-order dynamic logic
پدیدآورنده: Harel, David, 0591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computer programming,، Logic, Symbolic and mathematical,، Recursion theory
رده :
QA
76
.
L28
Vol
.
68
24. Making the connection :
پدیدآورنده: edited by Marilyn P. Carlson, Chris Rasmussen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Mathematics-- Research.,Mathematics-- Study and teaching (Higher)
رده :
QA11
.
2
.
M24
2008
25. Recrafting the rule of law :
پدیدآورنده: edited by David Dyzenhaus.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Rule of law.,Droit-- Philosophie.,Règle de droit.,Primauté du droit.,Rechtsbeginselen.,Rechtsorde.,Rechtstheorie.,Rule of law.,Rule of law.
رده :
K3171
.
R43
1999
26. 22, 2009, Revised Selected Papers-Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19
پدیدآورنده: / David Harel (auth.), Kedar Namjoshi, Andreas Zeller, Avi Ziv (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
27. Rzecz o istocie informatyki :
پدیدآورنده: David Harel; tł. Zbigniew Weiss, Piotr Carlson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algorytmy.,Informatyka.
رده :
QA76
.
9
.
A43
D385
2000
28. Statistical methods in e-commerce research
پدیدآورنده: / [edited by] Wolfgang Jank and Galit Shmueli
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Electronic commerce-Statistical methods
رده :
HF5548
.
32
.
S73
2008
29. The Fall of Lydda
پدیدآورنده: S. Munayyer
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
30. The science of computing : exploring the nature and power of algorithms
پدیدآورنده: Harel, David, 0591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Electronic data processing,، Algorithms
رده :
QA
76
.
H28
1989
31. The science of computing : exploring the nature and power of algorithms
پدیدآورنده: Harel, David, 0591-
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع: ، Electronic data processing,، Computer algorithms
رده :
QA
76
.
H2833
1989
32. algorithmics the spirit of computing
پدیدآورنده:
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع:
رده :
QA
76
.
9
.
A43H37
